OntoKBEval: DL-based Evaluation of OWL Ontologies

The Ontology Knowledge Base Evaluation Tool (OntoKBEval) supports users in evaluating ontologies with the help of the OWL-DL reasoner RacerPro. OntoKBEval offers hierarchical diagrams describing the structure of OWL-DL ontologies divided into the description logics view of TBoxes and ABoxes. The three main methods for supporting ontology evaluation are: (i) quick-view (providing a keyword search for interesting concept names), (ii) general (offering a more comprehensive TBox and ABox analysis), (iii) multifile analysis (offering basic TBox and ABox information for a batch of files). The implementation relies on the OWL-DL reasoner RacerPro to support OWL-DL reasoning functionalities.